tools/toolbox: Skip install step with --dist

The dist command only needs an up-to-date build directory, it
does not require the project to be installed first.

While the install step is generally quick, leaving the container
file system alone can save a rebuild after the dist is done
(for instance when testing a branch, then temporarily switching
to the release branch for dist).

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3497>

diff --git a/tools/toolbox/meson-build.sh b/tools/toolbox/meson-build.sh
index cd9869d5c4229aa0df076da5fbe2bb9aef6cd23b..b0a237f5c4e74b2fa25e675f96507b5a8e3f565a 100755 (executable)
--- a/tools/toolbox/meson-build.sh
+++ b/tools/toolbox/meson-build.sh
@@ -50,7 +50,11 @@ compile_command() {
 }
 
 install_command() {
-  echo -n "sudo meson install -C $BUILD_DIR"
+  if [[ $RUN_DIST ]]; then
+    echo -n :
+  else
+    echo -n "sudo meson install -C $BUILD_DIR"
+  fi
 }
 
 dist_command() {